En las últimas noticias que han sacudido al mundo de las matemáticas, un grupo de exalumnos de Tsinghua ha utilizado la IA para demostrar con éxito 162 teoremas matemáticos que antes nadie había podido resolver. ¡Lo que es aún más impresionante es que esta entidad inteligente, llamada LeanAgent, incluso ha superado el desafío formalizado por Terence Tao a la conjetura de Freiman-Ruzsa polinomial! Esto nos hace exclamar que los métodos de investigación en ciencias básicas han sido radicalmente transformados por la IA. Como todos sabemos, los actuales modelos de lenguaje grandes (LLM), aunque impresionantes, todavía son en su mayoría...